МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М … Философская энциклопедия
Модальная логика — Модальная (от лат. – способ, мера) логика логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы). Модальности бывают разные; наиболее распространены временные («когда то в… … Википедия
модальная логика — МОДАЛЬНАЯ ЛОГИКА раздел логики, посвященный изучению свойств модальных логических операторов типа «необходимо» и «возможно». К модальным операторам сейчас относят большинство операторов, с помощью которых удается учитывать силу (степень)… … Энциклопедия эпистемологии и философии науки
МОДАЛЬНАЯ ЛОГИКА — логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике … Большой Энциклопедический словарь
МОДАЛЬНАЯ ЛОГИКА — область логики, в к рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа необходимо, что.,. , возможно, что... и т. п. В математич. логике рассматриваются различные формальные системы М. л.,… … Математическая энциклопедия
модальная логика — логическая теория модальностей (модальных операторов), применяемых к высказываниям или предикатам; играет важную роль в логической семантике. * * * МОДАЛЬНАЯ ЛОГИКА МОДАЛЬНАЯ ЛОГИКА, логическая теория модальностей (см. МОДАЛЬНОСТЬ) (модальных… … Энциклопедический словарь
модальная логика — раздел неклассической логики, в котором исследуются логические связи модальных высказываний, т. е. высказываний, включающих модальности. М. л. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного… … Словарь терминов логики
Модальная логика — область логики, посвящённая изучению модальностей (См. Модальность), построению исчислений (См. Исчисление), в которых модальности применяются к высказываниям, наряду с логическими операциями (См. Логические операции), и сравнительному… … Большая советская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
